Specification of realtime systems using ASTRAL
نویسندگان
چکیده
منابع مشابه
Specification of Realtime Systems Using ASTRAL
ASTRAL is a formal specification language for realtime systems. It is intended to support formal software development and, therefore, has been formally defined. The structuring mechanisms in ASTRAL allow one to build modularized specifications of complex systems with layering. A realtime system is modeled by a collection of state machine specifications and a single global specification. This pa...
متن کاملFormal Verification of Realtime Systems in ASTRAL
ASTRAL is a formal specification language for realtime systems. It is intended to support formal software development, and therefore has been formally defined. This paper focuses on formally proving the mathematical correctness of ASTRAL specifications. ASTRAL is provided with structuring mechanisms that allow one to build modularized specifications of complex systems with layering. In this pap...
متن کاملASTRAL: An Assertion Language for Specifying Realtime Systems
ASTRAL is a formal specification language for realtime systems. This paper discusses the rationale of ASTRAL’s design and shows how the language builds on previous language experiments. ASTRAL is intended to support formal software development; therefore, the language itself has been formally defined. ASTRAL’s specification style is illustrated by discussing a case study taken from telephony.
متن کاملAn Astral specification for a railroad controller
It is generally accepted that development of requirement models for real-time systems beneets from formal speciications. In order to be able to evaluate notations for use in the development of real-time software systems, we are performing a comparative review of some selected speciication notations. The study emphasizes the use of the notations in the domain of real-time (control) applications....
متن کاملREaltime ACtive Heterogeneous Systems -
This paper gives a survey of the deployment of ideas from the area of real-time, active and heterogeneous database systems in the years from 1991 to 2010 as they have been embraced by IT industry. During that time the Database and Distributed Systems group (DVS) led by Alejandro Buchmann has made lots of contributions to the development of those ideas by many research projects. After 20 years i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 1997
ISSN: 0098-5589
DOI: 10.1109/32.629494